Purging in an equality data base
نویسندگان
چکیده
منابع مشابه
Purging in an Equality Data Base
Equality data bases are important in facilitating proofs of equality between terns. They are useful in the implementation of code optimizers [2], program verifiers [7,9], theorem provers [I], and symbolic execution systems [S]. In these applications the typical operations are determining whether or not two terms are known to be equal and updating the data base to include a new equality. Some so...
متن کاملمقدمه ای بر: تکنولوژی data base و اداره سازمان
در ادراه امور سازمان نیز از تکنولوژی data base در دو زمینه مشخص یعنی بصورت سیستم های عملیاتی و سیستم های اطلاعاتی میتوان استفاده کرد. در شرایط کنونی وجود موانع متعدد از قبیل فرهنگ غالب در سازمان های بزرگ و طرز تلقی مدیران دیوان سالار از یکطرف و تازه گی و پیچیده بودن فنون مربوط به سیتم های data base فقدان دانش، تجربه و تخصص کافی برای بهره گیری کامل از آن از طرف دیگر، برنامه ریزی و اقدام برای ایج...
15 صفحه اولInferring purging from pedigree data.
The harmful effects of inbreeding can be reduced if deleterious recessive alleles were removed (purged) by selection against homozygotes in earlier generations. If only a few generations are involved, purging is due almost entirely to recessive alleles that reduce fitness to near zero. In this case the amount of purging and allele frequency change can be inferred approximately from pedigree dat...
متن کاملEducational Equality: An Unfinished Puzzle of Education in the 21st Century
Introduction: Educational equality is a process that all practitioners are thinking about and want to put it in their supervised environment. The purpose of this study is to investigate educational equality as an unfinished puzzle in the 21st century. Methods: The present study is a review type in which keywords such as educational equality, educational inequality and educational justice ha...
متن کاملAn Equality in Stochastic Processes
The equality presented in this paper is extremely simple, but has proven useful on a number of occasions in deriving certain transition probabilities where other approaches such as the Laplace transform or the generating function become untidy (see, for example, [7]). The equality is not completely unknown; it has appeared, in a slightly different form, in a two dimensional process ([2], p. 102...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information Processing Letters
سال: 1980
ISSN: 0020-0190
DOI: 10.1016/s0020-0190(80)90081-2